MaxSAT-Based Scheduling of B2B Meetings
نویسندگان
چکیده
In this work we propose a MaxSAT formulation for the problem of scheduling business-to-business meetings. We identify some implied constraints and provide distinct encodings of the used cardinality constraints. The experimental results show that the proposed technique outperforms previous existing approaches on this problem.
منابع مشابه
A Study on Implied Constraints in a MaxSAT Approach to B2B Problems
The B2B Scheduling Optimization Problem (B2BSOP) consists in finding the schedule of a set of meetings between persons minimizing the waiting time periods between meetings of the participants. Recent results have shown that a SAT-based approach is the-state-of-the-art. One of the interesting features of such approach is the use of implied constraints. In this work, we provide an experimental se...
متن کاملScheduling B2B Meetings
In this work we deal with the problem of scheduling meetings between research groups, companies and investors in a scientific and technological forum. We provide a CP formulation and a Pseudo-Boolean formulation of the problem, and empirically test the performance of different solving techniques, such as CP, lazy clause generation, SMT, and ILP, on industrial and crafted instances of the proble...
متن کاملOn the Computational Complexity of MaxSAT
Given a Boolean formula in Conjunctive Normal Form (CNF) φ = S ∪ H, the MaxSAT (Maximum Satisfiability) problem asks for an assignment that satisfies the maximum number of clauses in φ. Due to the good performance of current MaxSAT solvers, many real-life optimization problems such as scheduling can be solved efficiently by encoding them into MaxSAT. In this survey, we discuss the computational...
متن کاملModeling and Solving Staff Scheduling with Partial Weighted maxSAT
Employee scheduling is a well known problem that appears in a wide range of different areas including health care, air lines, transportation services and basically any organization that has to deal with workforces. In this paper we model a collection of challenging staff scheduling instances as a weighted partial boolean maximum satisfiability (maxSAT) problem. Using our formulation we conduct ...
متن کاملIdentifying the Factors Affecting the Selection of B2B Online Market Entry Strategies Using Soft System Methodology (Case Study: IT Industry knowledge-based companies)
The Internet is changing the transaction pattern of B2B markets. One of the major concerns of IT knowledge-based companies is how to take advantage of B2B online markets. These companies believe that the only possible strategy for entering these markets is to launch independent websites, and they are usually reluctant to enter these markets due to the requirements such as financial resources an...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2015